From: Florian Müllner <fmuellner@gnome.org>
Date: Wed, 21 Aug 2019 15:57:11 +0000 (+0200)
Subject: ci: Turn off man pages
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~832^2^2~15
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=803a096b7e22ae2fe46e35391880075d45560224;p=gnome-shell.git

ci: Turn off man pages

There is little to test there, and excluding them slightly reduces the
dependencies in the CI image.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 49eb6e32b..a284b75b7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -54,7 +54,7 @@ build:
         - meson mutter mutter/build --prefix=/usr -Dtests=false
         - ninja -C mutter/build install
     script:
-        - meson . build -Dbuiltype=debugoptimized
+        - meson . build -Dbuiltype=debugoptimized -Dman=false
         - ninja -C build
         - ninja -C build install
     <<: *only_default